description 論理

description logic

用語

individual

一階述語論理 (FOL)で言ふ定數 (constant)

class。concept

一階述語論理 (FOL)で言ふ單項述語 (unary predicate)

property。role

一階述語論理 (FOL)で言ふ二項述語 (binary predicate)

基本

$ \cal ALattributive language

atomic negation (negation of concept names that do not appear on the left-hand side of axioms)

Concept intersection

universal restrictions

limited existential quantification

$ \cal FLframe based description language

concept intersection

universal restrictions

limited existential quantification

role restriction

$ \cal ELexistential language

concept intersection

existential restrictions (of full existential quantification)

擴張

$ \cal Ffunctional properties, a special case of uniqueness quantification

$ \cal Efull existential qualification (existential restrictions that have fillers other than$ \top)

$ \cal Uconcept union

$ \cal Ccomplex concept negation

$ \cal Hrole hierarchy (subproperties: rdfs:subPropertyOf)

$ \cal Rlimited complex role inclusion axioms; reflexivity and irreflexivity; role disjointness

$ \cal Onominals (enumerated classes of object value restrictions: owl:oneOf, owl:hasValue)

$ \cal Iinverse properties

$ \cal Ncardinality restrictions (owl:cardinality, owl:maxCardinality), a special case of counting quantification

$ \cal Qqualified cardinality restrictions (available in OWL 2, cardinality restrictions that have fillers other than$ \top)

$ \cal ^{(D)}use of datatype properties, data values or data types

基本の擴張ではない體系

$ \cal San abbreviation for$ \cal ALCwith transitive roles

$ \cal FL^-a sub-language of$ \cal FL, which is obtained by disallowing role restriction. This is equivalent to$ \cal ACwithout atomic negation

$ \cal FL_oa sub-language of$ \cal FL^-, which is obtained by disallowing limited existential quantification

$ \cal EL^{++}alias for$ \cal ELRO

OWL2 は$ \cal SROIQ

OWL-DL は$ \cal SHOIN

OWL-Lite は$ \cal SHIF

fuzzy description logic